
=[ public: unreachable ]
	{
	fprintf(stderr,"thought this position was "
	 "unreachable: %s: %d\n", __FILE__, __LINE__ );
          fflush(0);
	*(int*)0= 0;
	}

=[]
